Using Specification and Description Language for Life Cycle Assesment in Buildings

نویسندگان

  • Pau Fonseca i Casas
  • Antoni Fonseca i Casas
چکیده

The definition of a Life Cycle Assesment (LCA) for a building or an urban area is a complex task due to the inherent complexity of all the elements that must be considered. Furthermore, a multidisciplinary approach is required due to the different sources of knowledge involved in this project. This multidisciplinary approach makes it necessary to use formal language to fully represent the complexity of the used models. In this paper, we explore the use of Specification and Description Language (SDL) to represent the LCA of a building and residential area. We also introduce a tool that uses this idea to implement an optimization and simulation mechanism to define the optimal solution for the sustainability of a specific building or residential.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Web Service Choreography Verification Using Z Formal Specification

Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...

متن کامل

Determination of Optimum Insulation Thickness for Building Walls in Iran Using Life Cycle Cost Analysis

Air-Conditioning (AC) systems are responsible for a considerable portion of the energy consumption in buildings located in high cooling load requiring regions of Iran. In addition, the heat flow through the buildingschr('39') external walls plays a major role in cooling load estimations for the countrychr('39')s hot regions. Therefore, application of insulation materials in external walls has g...

متن کامل

Dienstgütebehandlung im Dienstlebenszyklus: von der formalen Spezifikation zur rechnergestützten Umsetzung

Description and survey of the possible, guaranteed or offered quality of a service (QoS) is one of the key features to establish a performance and quality oriented assesment or accounting of IT-services. This task is accomplished using various criteria the so called QoS-characteristics which, in most cases, are specific to a certain service. From the point of view of the service life cycle, cha...

متن کامل

Principles of assessment and improvement of construction systems environmental sustainability in Iran (By Life cycle Numerical Parametric Measurement Approach)

Abstract Today, due to the rapid growth of population, development of the construction industry is a necessity. All around the world, new subjects such as sustainable development, environmental pollution, conservation of resources, and reduction of CO2 emission have become the most important research topics among the scientific societies. In recent years, especially after 1997, new tools were i...

متن کامل

An EPQ Model for Product Life Cycle (Maturity Stage) with Deteriorating Items and Shortages

  A product life cycle is the life span of a product in which the period begins with the initial product specification and ends with the withdrawal from the market of both the product and its support. A product life cycle can be divided into several stages characterized by the revenue generated by the product. This study investigates inventory control policies in a manufacturing system for a si...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017